Petri net reactive modules
نویسندگان
چکیده
منابع مشابه
Petri Net Modules
Here we present a new module concept for Petri nets that is based on the component concepts of Continuous Software Engineering (CSE). According to that concept two distinguished interfaces are required. These are import and export interfaces. The import describes the assumptions on the environment, e.g. in terms of used components. The export gives an abstraction of the functionality and presen...
متن کاملSafety Properties in Petri Net Modules
This paper introduces safety properties in the temporal logic sense (as defined in (Manna and Pnueli, 1995)) to Petri net modules. Petri net modules (Padberg, 2001; Padberg, 2002) have been achieved by a transfer of algebraic specification modules to Petri nets. They consist of three nets; the interface nets import and export, and the body of the module. The import net states the prerequisites ...
متن کاملOn Proving Large Distributed Systems: Petri Net Modules Verification
Modelling and design of concurrent distributed systems is a complex and errowprone task. Developing a formal basis for constructing and validating such systems remains one of the major goals of researchers in concurrency ([3]). Petri nets has proved to be a basic formalism for modelling and analyzing concurrent systems ([8]). But, most systems that arise from practical applications are very com...
متن کاملColored Petri Net Modules of Complex Selecting Criteria
Colored Petri nets (CPNs) have been widely used as a mathematical modeling tool of dynamical systems , both for control and simulation. CPNs are very appealing and appear uncomplicated because of their simple graphical representation. However, as the CPN definition is very concise, specific processes have to be modeled with appropriate modules that sometimes are not easy to conceive. To broaden...
متن کاملPetri net modules in the transformation-based component framework
Component-based software engineering needs to be backed by thorough formal concepts and modeling techniques. This paper combines two concepts introduced independently by the two authors in previous papers. On one hand, the concept of Petri net modules introduced at IDPT 2002 in Padberg (2002), and on the other hand a generic component framework for system modeling introduced at FASE 2002 in Ehr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2006
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2006.02.001